void initPIT();
void timer_handler(void);
